$\forall$$M$:MsgA, $a$:Id. $a$ declared in $M$ $\in$ Prop